Knihy od autora Hana Chockler

Zobrazeno 1 – 5 z 5 výsledků

1. 

   Hardware and Software: Verification and Testing

   Hana Chockler, Alan J. Hu | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2009

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1182 Kč

   Koupit
2. 

   Computer Aided Verification

   Hana Chockler, Georg Weissenbacher | Springer International Publishing AG, 2018

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1182 Kč

   Koupit
3. 

   Validation of Evolving Software

   Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina | Springer International Publishing AG, 2016

   
   

   Skladem u dodavatele - Odesíláme za 8-11 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1182 Kč

   Koupit
4. 

   Validation of Evolving Software

   Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina | Springer International Publishing AG, 2015

   
   

   Skladem u dodavatele - Odesíláme za 10-13 dnů

   Jazyk: Angličtina

   Vazba: Pevná

   1182 Kč

   Koupit
5. 

   Computer Aided Verification

   Hana Chockler, Georg Weissenbacher | Springer International Publishing AG, 2018

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1182 Kč

   Koupit

Nejpopulárnější internetové knihkupectví. Zjistěte více